#ifndef __UART_H_
#define __UART_H_

void uart0_init(int baud);
char my_getc();
void my_putc(char c);
void my_puts(char *p);

void uart3_init(int baud);
char my_getc_3();
void my_putc_3(char c);

void raise();

#endif
